Hoxd10<tm1Mrc> MGI:1857962 targeted mutation 1, Mario R Capecchi Hoxd-10<-> http://identifiers.org/mgd/MGI:1857962 Null/knockout